Demostración automática

Demostración automática
Las técnicas de demostración automática de teoremas consisten en aplicar métodos computacionales para demostrar teoremas. Es decir, demostración de teoremas con un ordenador. Estas técnicas son especialmente viables como herramienta para demostrar teoremas de geometría plana. En líneas generales, el procedimiento es el siguiente: 1. El teorema a demostrar se traduce en términos algebraicos: tanto las hipótesis como la tesis se expresan como condiciones del tipo y respectivamente. 2. La veracidad del teorema es entonces equivalente a que esté en el ideal generado por (lo que equivale a que la anulación de en un punto implique la anulación de en ese punto). 3. El problema de pertenencia de un polinomio a un ideal es un problema clásico en álgebra computacional; una técnica habitual de resolución de este problema es el cálculo de una base de Gröbner adecuada.

Enciclopedia Universal. 2012.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés …   Wikipedia Español

  • Demostración — Saltar a navegación, búsqueda Demostración puede referirse a: Demostración matemática Demostración automática Demostración inválida Demostración por inducción Demostración por contraposición Demostración (merchandising) Teoría de la demostración… …   Wikipedia Español

  • Demostración interactiva de teoremas — Saltar a navegación, búsqueda La demostración interactiva de teoremas es un campo de la ciencia computacional y la lógica matemática relativo a las herramientas para desarrollar pruebas formales para la colaboración hombre máquina. Esto involucra …   Wikipedia Español

  • Traducción automática — Se ha sugerido que Servicios de traducción automática sea fusionado en este artículo o sección (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. La traducción automática (TA), también llamada MT… …   Wikipedia Español

  • Segunda década de la traducción automática — En 1951 el prestigioso Instituto de Tecnología de Massachusetts (MIT) puso a uno de sus especialistas Yehoshua Bar Hillel a trabajar con dedicación exclusiva en TA (Traducción Automática). Un año más tarde se organizó el primer simposio de la TA …   Wikipedia Español

  • Segunda década de la traducción automática — En 1951 el prestigioso Instituto de Tecnología de Massachusetts (MIT) puso a uno de sus especialistas Yehoshua Bar Hillel a trabajar con dedicación exclusiva en TA (Traducción Automática). Un año más tarde se organizó el primer simposio de la TA …   Enciclopedia Universal

  • ACL2 — es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea. ACL2… …   Wikipedia Español

  • Razonamiento automático — Saltar a navegación, búsqueda El razonamiento automático es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los… …   Wikipedia Español

  • Proceso para el desarrollo de software — Un proceso para el desarrollo de software, también denominado ciclo de vida del desarrollo de software es una estructura aplicada al desarrollo de un producto de software. Hay varios modelos a seguir para el establecimiento de un proceso para el… …   Wikipedia Español

  • Premio Turing — El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales. El… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”